<?php

 
var_dump(empty(0.0));